Ion-liquid based super-capacitors with inner gate diode-like separators

We demonstrate that the capacitance of ionic-liquid filled supercapacitors is substantially increased by placing a diode-like structure on the separator membrane. We call the structured separator: gate, and demonstrate that the order of a p-n layout with respect to the auxiliary electrode affects the overall cell's capacitance. The smallest ESR and the largest capacitance values are noted when the p-side is facing the auxiliary electrode.Comment: 11 pages, 8 figure

Robustness against Power is PSPACE-complete

Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWER processors. The architecture features a relaxed memory model providing very weak guarantees with respect to the ordering and atomicity of memory accesses. Due to these weaknesses, some programs that are correct under sequential consistency (SC) show undesirable effects when run under Power. We call these programs not robust against the Power memory model. Formally, a program is robust if every computation under Power has the same data and control dependencies as some SC computation. Our contribution is a decision procedure for robustness of concurrent programs against the Power memory model. It is based on three ideas. First, we reformulate robustness in terms of the acyclicity of a happens-before relation. Second, we prove that among the computations with cyclic happens-before relation there is one in a certain normal form. Finally, we reduce the existence of such a normal-form computation to a language emptiness problem. Altogether, this yields a PSPACE algorithm for checking robustness against Power. We complement it by a matching lower bound to show PSPACE-completeness

Swelling of particle-encapsulating random manifolds

We study the statistical mechanics of a closed random manifold of fixed area and fluctuating volume, encapsulating a fixed number of noninteracting particles. Scaling analysis yields a unified description of such swollen manifolds, according to which the mean volume gradually increases with particle number, following a single scaling law. This is markedly different from the swelling under fixed pressure difference, where certain models exhibit criticality. We thereby indicate when the swelling due to encapsulated particles is thermodynamically inequivalent to that caused by fixed pressure. The general predictions are supported by Monte Carlo simulations of two particle-encapsulating model systems -- a two-dimensional self-avoiding ring and a three-dimensional self-avoiding fluid vesicle. In the former the particle-induced swelling is thermodynamically equivalent to the pressure-induced one whereas in the latter it is not.Comment: 8 pages, 6 figure

A wide-spectrum language for verification of programs on weak memory models

Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. Previous work on the semantics of weak memory models has focussed on the behaviour of assembler-level programs. In this paper we utilise that work to extract some general principles underlying instruction reordering, and apply those principles to a wide-spectrum language encompassing abstract data types as well as low-level assembler code. The goal is to support reasoning about implementations of data structures for modern processors with respect to an abstract specification. Specifically, we define an operational semantics, from which we derive some properties of program refinement, and encode the semantics in the rewriting engine Maude as a model-checking tool. The tool is used to validate the semantics against the behaviour of a set of litmus tests (small assembler programs) run on hardware, and also to model check implementations of data structures from the literature against their abstract specifications

Excitonic Funneling in Extended Dendrimers with Non-Linear and Random Potentials

The mean first passage time (MFPT) for photoexcitations diffusion in a funneling potential of artificial tree-like light-harvesting antennae (phenylacetylene dendrimers with generation-dependent segment lengths) is computed. Effects of the non-linearity of the realistic funneling potential and slow random solvent fluctuations considerably slow down the center-bound diffusion beyond a temperature-dependent optimal size. Diffusion on a disordered Cayley tree with a linear potential is investigated analytically. At low temperatures we predict a phase in which the MFPT is dominated by a few paths.Comment: 4 pages, 4 figures, To be published in Phys. Rev. Let

Disorder and Funneling Effects on Exciton Migration in Tree-Like Dendrimers

The center-bound excitonic diffusion on dendrimers subjected to several types of non-homogeneous funneling potentials, is considered. We first study the mean-first passage time (MFPT) for diffusion in a linear potential with different types of correlated and uncorrelated random perturbations. Increasing the funneling force, there is a transition from a phase in which the MFPT grows exponentially with the number of generations $g$, to one in which it does so linearly. Overall the disorder slows down the diffusion, but the effect is much more pronounced in the exponential compared to the linear phase. When the disorder gives rise to uncorrelated random forces there is, in addition, a transition as the temperature $T$ is lowered. This is a transition from a high-$T$ regime in which all paths contribute to the MFPT to a low-$T$ regime in which only a few of them do. We further explore the funneling within a realistic non-linear potential for extended dendrimers in which the dependence of the lowest excitonic energy level on the segment length was derived using the Time-Dependent Hatree-Fock approximation. Under this potential the MFPT grows initially linearly with $g$ but crosses-over, beyond a molecular-specific and $T$-dependent optimal size, to an exponential increase. Finally we consider geometrical disorder in the form of a small concentration of long connections as in the {\it small world} model. Beyond a critical concentration of connections the MFPT decreases significantly and it changes to a power-law or to a logarithmic scaling with $g$, depending on the strength of the funneling force.Comment: 13 pages, 9 figure